#include <trace.h>
#include <kernel.h>

/*void TRACE(char *c)
{
	#ifdef ETRACE
		puts(c);
	#endif
}
*/
